Backround
Definition
Presentation over a site
Models
The typical gros -toposes and --toposes considered in arithmetic/algebraic geometry are far from being cohesive over Set and even farther from being -cohesive over , respectively: The extra left adjoint to their terminal geometric morphism would mean that varieties/schemes were locally connected or even locally -connected, which they are not.
(This is in contrast to the situation in differential geometry, where smooth manifolds, formal smooth manifolds, and supermanifolds, etc., generate the cohesive -toposes over of smooth -groupoids, formal smooth -groupoids and super formal smooth -groupoids, etc.)
But cohesion may usefully be considered over non-trivial base toposes or base -toposes. For example, the slice -topos of global equivariant homotopy theory over the archetypical -orbi-singularity is cohesive over proper -equivariant homotopy theory (see at cohesion of global- over G-equivariant homotopy theory).
Analogously, the gros topos of pro-étale arithmetic/algebraic geometry, while not cohesive over sets, has at least an extra left adjoint over the base topos of condensed sets. This and the analogous statement for the respective hypercomplete -toposes is claimed in Scholze 2020, see also Scholze a.
In view of the terminology of “condensed mathematics” one might call this local contractibility of pro-étale arithmetic geometry relative to condensed sets: condensed local contractibility.
under construction
Given
a separably closed field,
an uncountable strong limit cardinal
write
for the category of -small schemes over ,
for its full subcategory of those that are pro-étale over ,
equivalently this is the category of -small profinite sets,
both regarded as sites via the pro-étale topology, and write
for the canonical geometric morphism between their sheaf toposes.
The base topos in (1) is also called the category of -condensed sets, or of -pyknotic sets (with often omitted in the latter case).
The following seems to be claimed:
The geometric morphism (1) has the following properties:
is fully faithful;
is a left adjoint
and
The first two claims are fairly standard, the last one would make the topos of pro-étale schemes be locally connected and hence almost cohesive over -condensed sets/-pyknotic sets (by Rem. ).
The point of axiomatic cohesion is that it formally implies the presence of structures of the form of key phenomena known in traditional differential topology, but now internal into any given cohesive topos/-topos. Hence to the extent that pro-étale arithmetic geometry is cohesive over the pro-étale base topos it inherits these structures.
There would be much to be discussed here. The following lists some first observations with links to further commentary.
Every spectrum object in a locally -connected -topos sits in the center of a differential cohomology diagram, which may be understood as decomposing the object into its various modal aspects, such that, at least for smooth -groupoids, it exhibits each object as representing a Whitehead-generalized differential cohomology theory.
Since the construction of the differential cohomology hexagon does not require the extra left adjoint to preserve finite products, it should exist in pro-étale arithmetic geometry. Commentary in this direction is in Scholze b.
The idea of the possibility of pro-étale local contractibility is voiced in discussion here:
The claim of cohesion-except-for-product-preservation of gros pro-étale toposes over the corresponding pro-étale base topos appears in:
Related remarks and discussion:
Peter Scholze, Answer to ‘What is the precise relationship between pyknoticity and cohesiveness?’, April 2020 (MO:https://mathoverflow.net/a/356836).
Peter Scholze, Answer to ‘Cohesion relative to a pyknotic/condensed base’, Feb 2021 (MO:a/384900).
Peter Scholze, Answer to ‘Condensed / pyknotic approach to orbifolds?’, Feb 2021 (MO:a/384898)
More concrete discussion, phrased in terms of fractured -toposes:
exposition:
Last revised on November 3, 2023 at 08:28:02. See the history of this page for a list of all contributions to it.